An overview of the Amoeba distributed operating system

As hardware prices continue to drop rapidly, building large computer systems by interconnecting substantial numbers of microcomputers becomes increasingly attractive. Many techniques for interconnecting the hardware, such as Ethernet [Metcalfe and Boggs, 1976], ring nets [Farber and Larson, 1972], packet switching, and shared memory are well understood, but the corresponding software techniques are poorly understood. The design of general purpose distributed operating systems is one of the key research issues for the 1980s

A distributed file service based on optimistic concurrency control

The design of a layered file service for the Amoeba Distributed System is discussed, on top of which various applications can easily be intplemented. The bottom layer is formed by the Amoeba Block Services, responsible for implementing stable storage and repficated, highly available disk blocks. The next layer is formed by the Amoeba File Service which provides version management and concurrency control for tree-structured files. On top of this layer, the appficafions, ranging from databases to source code control systems, determine the structure of the file trees and provide an interface to the users

Children’s experiences of domestic violence and abuse: siblings’ accounts of relational coping

This article explores how young people see their relationships, particularly their sibling relationships, in families affected by domestic violence, and how relationality emerges in their accounts as a resource to build an agentic sense of self. The ‘voice’ of children is largely absent from domestic violence literature, which typically portrays them as passive, damaged and relationally incompetent. Children’s own understandings of their relational worlds are often overlooked, and consequently existing models of children’s social interactions give inadequate accounts of their meaning-making-in-context. Drawn from a larger study of children’s experiences of domestic violence and abuse, this paper uses two case studies of sibling relationships to explore young people’s use of relational resources, for coping with violence in the home. The paper explores how relationality and coping intertwine in young people’s accounts, and disrupts the taken for granted assumption that children’s ‘premature caring’ or ‘parentification’ is (only) pathological in children’s responses to domestic violence. This has implications for understanding young people’s experiences in the present, and supporting their capacity for relationship building in the future

The changing of the guard: groupwork with people who have intellectual disabilities

This paper considers the impact of service systems on group activities. It describes an inter-professional groupwork project facilitated by a social worker and a community nurse. The project provided an emancipatory experience for a group of adults who had intellectual disabilities. The group was charged with the task of reviewing and updating the recruitment and interview processes used by a 'Learning Disability Partnership Board', when employing new support workers. The paper begins with a brief history of intellectual disability and provides a context to the underpinning philosophical belief that people should be encouraged and supported to inhabit valued social roles no matter what disability they may have. It then identifies the ways in which the sponsoring health, education and social care services impacted on the creation and development of a groupwork project. It might have been expected that the nature of the intellectual disability would have been the major influence on group process. However the paper reveals that organisational constraints had a significant impact on group functioning. Issues including, staffing budgets and transport contracts impacted on group process and function. The results of the project show how, with adequate support, people with intellectual disability can make important decisions that have long-reaching impacts on the services

Long-term creep behavior of the intervertebral disk: comparison between bioreactor data and numerical results

The loaded disk culture system is an intervertebral disk (IVD)-oriented bioreactor developed by the VU Medical Center (VUmc, Amsterdam, The Netherlands), which has the capacity of maintaining up to 12 IVDs in culture, for approximately 3 weeks after extraction. Using this system, eight goat IVDs were provided with the essential nutrients and submitted to compression tests without losing their biomechanical and physiological properties, for 22 days. Based on previous reports (Paul et al., 2012, 2013; Detiger et al., 2013), four of these IVDs were kept in physiological condition (control) and the other four were previously injected with chondroitinase ABC (CABC), in order to promote degenerative disk disease (DDD). The loading profile intercalated 16 h of activity loading with 8 h of loading recovery to express the standard circadian variations. The displacement behavior of these eight IVDs along the first 2 days of the experiment was numerically reproduced,using an IVD osmo-poro-hyper-viscoelastic and fiber-reinforced finite element (FE) model. The simulations were run on a custom FE solver (Castro et al., 2014). The analysis of the experimental results allowed concluding that the effect of the CABC injection was only significant in two of the four IVDs. The four control IVDs showed no signs of degeneration, as expected. In what concerns to the numerical simulations, the IVD FE model was able to reproduce the generic behavior of the two groups of goat IVDs (control and injected). However, some discrepancies were still noticed on the comparison between the injected IVDs and the numerical simulations, namely on the recovery periods. This may be justified by the complexity of the pathways for DDD, associated with the multiplicity of physiological responses to each direct or indirect stimulus. Nevertheless, one could conclude that ligaments, muscles, and IVD covering membranes could be added to the FE model,in order to improve its accuracy and properly describe the recovery periods.FCT - Ph.D. grant SFRH/BD/63882/200

Pushouts in software architecture design

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.NSF CCF 0724979NSF CNS 0509338NSF CCF 0917167NSF DGE-1110007FCT SFRH/BD/47800/2008FCT UTAustin/CA/0056/200

Multiscale Bone Remodelling with Spatial P Systems

Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several approaches have been proposed to provide "multilayer" models, only Complex Automata, derived from Cellular Automata, naturally embed spatial information and realize multiscaling with well-established inter-scale integration schemas. Spatial P systems, a variant of P systems in which a more geometric concept of space has been added, have several characteristics in common with Cellular Automata. We propose such a formalism as a basis to rephrase the Complex Automata multiscaling approach and, in this perspective, provide a 2-scale Spatial P system describing bone remodelling. The proposed model not only results to be highly faithful and expressive in a multiscale scenario, but also highlights the need of a deep and formal expressiveness study involving Complex Automata, Spatial P systems and other promising multiscale approaches, such as our shape-based one already resulted to be highly faithful.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005